Issue3327.agda:18,8-12
Set₁ is not less or equal than Set
when checking the definition of Type
